@inproceedings{NavarreteCAOR11,
  author    = {C. B. Navarrete and
               M. de la Cruz and
               E. Anguiano and
               A. Ortega and
               J. M. Rojas},
  title     = {Parallel Simulation of NEPs on Clusters},
  booktitle = {Web Intelligence/IAT Workshops},
  year      = {2011},
  pages     = {171--174},
  publisher = {IEEE Computer Society},

  ee        = {http://doi.ieeecomputersociety.org/10.1109/WI-IAT.2011.131},
  isbn      = {978-0-7695-4513-4}
}

@inproceedings{RojasCO10,
  author    = {J. M. Rojas and
               M. de la Cruz and
               A. Ortega},
  title     = {Towards the Automatic Programming of H Systems: jHsys, a
               Java H System Simulator},
  booktitle = {PAAMS (Special Sessions and Workshops)},
  pages     = {387--394},
  publisher = {Springer},
  series    = {Advances in Soft Computing},
  volume    = {71},
  year      = {2010},
  isbn      = {978-3-642-12432-7},
  ee        = {http://dx.doi.org/10.1007/978-3-642-12433-4_46}
}

@inproceedings{delRosalRNCO09,
  author    = {E. del Rosal and J. M. Rojas and R. N{\'u}{\~n}ez and
                  Carlos Casta{\~n}eda and A. Ortega},
  title     = {On the Solutions of NP-Complete Problems by Means of jNEP
                  Run on Computers},
  booktitle = {ICAART},
  pages     = {605--612},
  publisher = {INSTICC Press},
  year      = {2009},
  isbn      = {978-989-8111-66-1}
}  

@InProceedings{RojasP13-short,
  author    = {J. M. Rojas and C. S. P\u{a}s\u{a}reanu},
  title =     {{C}ompositional {S}ymbolic {E}xecution through {P}rogram {S}pecialization},
  booktitle = {BYTECODE'13},
  year      = {2013},
  month     = {March}
}

@incollection{BalasubramanianPKL13,
author={Balasubramanian, D. and P\u{a}s\u{a}reanu, C. S. and Karsai, G. and Lowry, M. R.},
title={Polyglot: Systematic Analysis for Multiple Statechart Formalisms},
booktitle={TACAS},
volume={7795},
series={LNCS},
doi={10.1007/978-3-642-36742-7_36},
url={http://dx.doi.org/10.1007/978-3-642-36742-7_36},
publisher={Springer Berlin Heidelberg},
year={2013},
pages={523--529}
}

@INPROCEEDINGS{PasareanuB12, 
author={Pasareanu, C.S. and Balasubramanian, D.}, 
title={Statechart Analysis with Symbolic PathFinder}, 
booktitle={Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on}, 
year={2012}, 
pages={772--772}, 
abstract={We report here on our on-going work that addresses the
                  automated analysis and test case generation for
                  software systems modeled using multiple Statechart
                  formalisms. The work is motivated by large programs
                  such as NASA Exploration, that involve multiple
                  systems that interact via safety-critical protocols
                  and are designed with different Statechart
                  variants. To verify these safety-critical systems,
                  we have developed Polyglot, a framework for modeling
                  and analysis of model-based software written using
                  different Statechart formalisms. Polyglot uses a
                  common intermediate representation with customizable
                  Statechart semantics and leverages the analysis and
                  test generation capabilities of the Symbolic
                  PathFinder tool. Polyglot is used as follows. First,
                  the structure of the Statechart model (expressed in
                  Matlab Stateflow or Rational Rhapsody) is translated
                  into a common intermediate representation (IR). The
                  IR is then translated into Java code that represents
                  the structure of the model. The semantics are
                  provided as “pluggable” modules.}, 
doi={10.1109/ICST.2012.173},
}

@Article{Fisher2007,
author="Fisher, J.
and Henzinger, Thomas A.",
title="Executable cell biology",
journal="Nat Biotech",
year="2007",
month="Nov",
publisher="Nature Publishing Group",
volume="25",
number="11",
pages="1239--1249",
issn="1087-0156",
doi="10.1038/nbt1356",
url="http://dx.doi.org/10.1038/nbt1356"
}


@incollection{BenqueBCCFIPTV12,  
  author={Benque, D. and Bourton, S. and Cockerton, C. and Cook, B. and Fisher, J. and Ishtiaq, S. and Piterman, N. and Taylor, A. and Vardi, M. Y.},
  title={Bma: Visual Tool for Modeling and Analyzing Biological Networks},
  booktitle={Computer Aided Verification},
  volume={7358},
  series={LNCS},
  url={http://dx.doi.org/10.1007/978-3-642-31424-7_50},
  publisher={Springer Berlin Heidelberg},
  pages={686--692},
  year={2012},
  isbn={978-3-642-31423-0}
}

@article{Harel1987,
 author = {Harel, D.},
 title = {Statecharts:  A visual formalism for complex systems},
 journal = {Sci. Comput. Program.},
 volume = {8},
 number = {3},
 month = jun,
 year = {1987},
 issn = {0167-6423},
 pages = {231--274},
 publisher = {Elsevier North-Holland, Inc.},
} 

@INPROCEEDINGS{Harel03formalmodeling,
    author = {D. Harel and H. Kugler and R. Marelly and A. Pnueli and E. Jane and A. Hubbard and M. J. Stern},
    title = {Formal Modeling of C. elegans Development: A Scenario-Based Approach},
    booktitle = {CMSB 2003},
    year = {2003},
    pages = {4--20},
    publisher = {Springer-Verlag}
}

@INPROCEEDINGS{Kam01theimmune,
    author = {N. Kam and I. R. Cohen and D. Harel},
    title = {The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts},
    booktitle = {HCC},
    year = {2001},
    publisher = {IEEE Computer Society},
    pages = {15--22}
}
